/FONT#1=BASL30/FONT#2=BASB30/FONT#3=NGR25/FONT#4=NGR20
␈↓↓␈↓α␈↓β␈↓∧␈↓α␈↓ ¬→STANFORD UNIVERSITY
␈↓ ↓H
␈↓β␈↓ ¬_STANFORD, CALIFORNIA 94305
␈↓ ↓H
␈↓∧COMPUTER SCIENCE DEPARTMENT␈↓ 
+   Telephone:
␈↓ ↓H
␈↓ 
+415-497-4971
␈↓ ↓H
␈↓↓␈↓ ε∞Aug 9,1974
␈↓ ↓H

␈↓ ↓H

␈↓ ↓H

␈↓ ↓H
Dr. R. D. Tennent
␈↓ ↓H
Department of Computing and Information Science
␈↓ ↓H
Queen's University
␈↓ ↓H
Kingston, Canada
␈↓ ↓H

␈↓ ↓H
Dear Dr Tennent:
␈↓ ↓H

␈↓ ↓H
␈↓ ↓HI␈αapologize␈αfor␈αbeing␈αso␈αtardy␈αin␈αreplying.␈αThe␈αmaterial␈αyou␈αsent␈αdid␈αarrive␈α
and␈α
I␈α
thank␈α
you.␈α
I␈α
have
␈↓ ↓H
␈↓ ↓Hbeen␈α→trying␈α→to␈α→finish␈α→a␈α→definitive␈α→book␈α→on␈α_LISP:␈α_interpreters,␈α_compilers,␈α_implementations,
␈↓ ↓H
␈↓ ↓Happlications␈αand␈αmathematical␈αsemantics.␈αIt's␈αbeen␈αhanging␈αfire␈αfor␈αfour␈αyears␈αand␈αit's␈αtime␈αto␈αfinish
␈↓ ↓H
␈↓ ↓Hit␈α
once␈α
and␈α
for␈α
all.␈α
If␈α
you␈α
would␈α
like␈α
a␈α
draft␈α
I␈α
would␈α
be␈α
glad␈α
to␈α
oblige.
␈↓ ↓H

␈↓ ↓H
␈↓ ↓HI␈α
am␈α
also␈α
working␈α
with␈α
David␈αLuckham␈αextending␈αsome␈αof␈αhis␈αrecent␈αwork␈αon␈αautomatic␈αprogram
␈↓ ↓H
␈↓ ↓Hgeneration.␈α∂We␈α∂are␈α∂also␈α∂developing␈α∞a␈α∞program␈α∞verification␈α∞system,␈α∞incorporating␈α∞our␈α∞old␈α∞theorem
␈↓ ↓H
␈↓ ↓Hprover␈α∂(it␈α∂proves␈α∂old␈α∂theorems)␈α∂with␈α∂the␈α∂VCGENer␈α∂of␈α∂I,L&L.␈α∂There␈α∂are␈α∂several␈α∂reports␈α∂on␈α∂this
␈↓ ↓H
␈↓ ↓Hresearch␈α
being␈α
processed␈α
now.␈α
As␈α
soon␈α
as␈α
they␈α
are␈α
presentable␈α
I␈α
will␈α
sent␈α
copies.
␈↓ ↓H

␈↓ ↓H
␈↓ ↓HMy␈αpersonal␈αinterest␈αcurrently␈αstems␈αfrom␈αthe␈α
LISP␈α
book.␈α
While␈α
writing␈α
it,␈α
I␈α
have␈α
been␈α
generating␈α
a
␈↓ ↓H
␈↓ ↓Hclean␈α∃extension/modification␈α∃of␈α∃LISP.␈α∃The␈α∃language,␈α∀S-LISP␈α∀(for␈α∀super/shittty/structured)␈α∀has
␈↓ ↓H
␈↓ ↓Huser-defineable␈αdata␈αstructures,␈αLISP-style␈αsemantics,␈αbut␈αalso␈α
a␈α
clean␈α
mathematical␈α
semantics␈α
and␈α
an
␈↓ ↓H
␈↓ ↓Hefficient␈α∞implementation.␈α∞It␈α∞is␈α∞also␈α∞rumored␈α∞that␈α∞paper,␈α∞covered␈α∞with␈α∞expressions␈α∞of␈α∞the␈α∞language,
␈↓ ↓H
␈↓ ↓Hhas␈α
magical␈α
curative␈α
powers;␈α
however␈α
this␈α
is␈α
probably␈α
an␈α
implementation-dependent␈α
feature.
␈↓ ↓H

␈↓ εW

␈↓ εW
Yours sincerely,
␈↓ εW

␈↓ εW

␈↓ εW

␈↓ εW
John R. Allen
␈↓ εW
Research Associate
␈↓ εW
Computer Science Dept
␈↓ εW
Artificial Intelligence Labs
␈↓ εW

␈↓ εW

␈↓ ↓H